Towards language-to-language transformation

Abstract This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this by employing variation Plotkin’s Structural Operational Semantics (SOS) pattern-based transformations typed graphs order address aspect ‘computation’ graph rewriting fashion. our are two generalizations structural rules: use patterns as matching concept rules, introduction node edge types. Types do not only allow one easily distinguish between different kinds dependencies, like control, data, priority, but may also be used define hierarchical layering structure. The resulting Type-based (TSOS) supports well-structured intuitive realization semantically involved adequate generation views or input formats certain tools, like, e.g., model checkers. A comparison with general-purpose frameworks ATL Groove, illustrates along educational setting WebStory language TSOS provides quite flexible format definition family languages easy come clear guarantees.